test\_case1() $\in$ (($\mathbb{Q}$ List) + Atom)